Name der Zeitschrift: Byzantinische Zeitschrift Jahrgang: 109 Heft: 2 Seiten: 821-836.

Previous theory and research on bounded rationality has emphasized how limited cognitive resources constrain people from making utility maximizing choices. This paper expands the concept of bounded rationality to consider how people’s rationality may be constrained by their internalization of a qualitatively distinct standard for sound judgment, which is commonly labeled reasonableness. In contrast to rationality, the standard of reasonableness provides guidance for making choices in situations that involve balancing incommensurable values and interests or reconciling conflicting points-of-view. We review recent (...) evidence showing that laypeople readily recognize the distinctions between rationality and reasonableness and thus are able to utilize these as distinct standards to inform their everyday decision-making. The fact that people appear to have internalized rationality and reasonableness as distinct standards of sound judgment supports the notion that people’s pursuit of rationality may be bounded by their determination to also be reasonable. (shrink)

Human lives are radically uncertain. Making sense of such uncertainties is the hallmark of wisdom. Sense-making requires narratives, putting them in the center stage of human everyday decision-making. Yet what if radical uncertainty is a narrative itself? Moreover, do laypeople always consider such narratives irrational? Here we pose these questions to enrich a theory of choice under uncertainty.

Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics for independence-friendly first-order logic, but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump (...) semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas. (shrink)

The article aims to define the management mechanism of complex, open dynamic systems with human participation. The following parts of the system life-cycle were identified and unified in the theoretical scope: general and specific compositional elements of repeating changes, marginal index boundaries, the dynamics of the compositional elements of the lifecycle, the key points of the change in the character of the index dynamics. In the practical scope, two common trends of socio-economical system life-cycle management are considered. The first trend (...) is the regulation of the comprising element ratio, which provides the increase in the duration of the maximally effective performance of a functioning system. The second trend is the regulation of the reproduction time of a new system. The systems life cycle aspects are investigated in almost all sciences and studied within many disciplines in the field of higher education. Therefore, deepening the mastery of scientific and methodological foundations of the life cycle of a complex open dynamic system is useful for any subject in everyday and practical activities. A human being – in the formation of own human capital. Families – when it is formed, the birth of children, the distribution of income and expenses. Companies – for efficient business activities. As well as local communities, local self-government bodies, public authorities and global entities within their profile activities. The results of the research provide the possibility of the development of applicable mechanisms for effectiveness and stability enhancement of managerial and entrepreneurial operation in business projects. (shrink)

The construction industry consistently ranks amongst the highest contributors to global gross domestic product, as well as, amongst the most corrupt. Corruption therefore inflicts significant risk on construction activities, and overall economic development. These facts are widely known, but the various sources and nature of corruption risks endemic to the Iranian construction industry, along with the degree to which such risks manifest, and the strength of their impact, remain undescribed. To address the gap, a mixed methods approach is used; with (...) a questionnaire, 103 responses were received, and these were followed up with semi-structured interviews. Results were processed using social network analysis. Four major corruption risks were identified: procedural violations in awarding contracts, misuse of contractual arrangements, neglect of project management principles, and, irrational decision making. While corruption risks in Iran align with those found in other countries, with funds being misappropriated for financial gain, Iran also shows a strong inclination to champion projects that serve the government’s political agenda. Root cause identification of corruption risks, namely, the noticeable impact of authoritarianism on project selection in Iran, over criterion of economic benefit or social good, is a significant outcome of this study. (shrink)

We present a model for studying communities of epistemically interacting agents who update their belief states by averaging the belief states of other agents in the community. The agents in our model have a rich belief state, involving multiple independent issues which are interrelated in such a way that they form a theory of the world. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that end, (...) an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. It is shown that, under the assumptions of our model, an agent always has a probability of less than 2% of ending up in an inconsistent belief state. Moreover, this probability can be made arbitrarily small by increasing the number of independent issues the agents have to judge or by increasing the group size. A real-world situation to which this model applies is a group of experts participating in a Delphi-study. (shrink)

In a review of Adler’s Belief’s Own Ethics , I had challenged the book’s main argument for the thesis that we cannot but believe in accordance with our evidence. Van Willigenburg replied to the review , defending Adler’s argument against my critique. In the present note, I briefly respond to van Willigenburg.

The Copenhagen interpretation of quantum mechanics assumes the existence of the classical deterministic Newtonian world. We argue that in fact the Newton determinism in classical world does not hold and in the classical mechanics there is fundamental and irreducible randomness. The classical Newtonian trajectory does not have a direct physical meaning since arbitrary real numbers are not observable. There are classical uncertainty relations: Δq>0 and Δp>0, i.e. the uncertainty (errors of observation) in the determination of coordinate and momentum is always (...) positive (non zero).A “functional” formulation of classical mechanics was suggested. The fundamental equation of the microscopic dynamics in the functional approach is not the Newton equation but the Liouville equation for the distribution function of the single particle. Solutions of the Liouville equation have the property of delocalization which accounts for irreversibility. The Newton equation in this approach appears as an approximate equation describing the dynamics of the average values of the position and momenta for not too long time intervals. Corrections to the Newton trajectories are computed. An interpretation of quantum mechanics is attempted in which both classical and quantum mechanics contain fundamental randomness. Instead of an ensemble of events one introduces an ensemble of observers. (shrink)

We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order theories and P is non-trivial over the set of finitely axiomatizable theories , then P is undecidable. This not only means that the problem of deciding properties of first-order theories is as hard as the problem of deciding properties about languages accepted by Turing machines, but also offers a general setting for proving (...) several undecidability results in first-order theories. (shrink)

The article deals with the emperical and synthetic approach to the creating of the theory of religious and Christian knowledge in the context of apologetic studio of Pavlo Yakovlevych Svetlov, a representative of Kyiv Academic Philosophy of the 19th and early 20th century.

Sophists’ apologia. -/- Sophists were the first paid teachers ever. These ancient Greek enlighteners taught wisdom. Protagoras, Antiphon, Prodicus, Hippias, Lykophron are most famous ones. Sophists views and concerns made a unified encyclopedic system aimed at teaching common wisdom, virtue, management and public speaking. Of the contemporary “enlighters”, Deil Carnegy’s educational work seems to be the most similar to sophism. Sophists were the first intellectuals – their trade was to sell knowledge. They introduced a new type of teacher-student relationship – (...) the mutually beneficial communication on equal terms. They taught pupils how to think independently and how to persuade others, which was inseparably connected with the rise of democracy in the most advanced Greek polices. Sophists were the first to proclaim that all people are naturally equal. They put forward the idea of natural rights and social contract, working out the fundamentals of the present-day law. In addition, they developed the basics of philology, psychology, logic, and gave a scientific explanation to the origins of religions. They embodied definite positive ideals of their epoch. Sophistry flourished in the second half of the Vth through he first third of the IVth centuries B. C. The period coincides with the heyday of the entire Greek history – the so called Greek Miracle epoch. Sophists expressed some present-day concepts of Ancient Greek ideology and mentality, characteristic of its Golden Age times. The Ancient Athens of the times of Periclus were similar to the Florence of Renaissance as to the type of social structure. That is why (?) the art of eloquence (public speaking) was highly respected in Florence. The two cities had a lot of features of the present-day capitalist society, which was due to their role as the main centres of industry of their “worlds-economies”. During the subsequent Hellenic period, the Old Order was restored, based on the feudal rent recipients’ rule. The degradation of society resulted in the decline of sophistry. Sophistry represents the highest point in the evolution of Greek philosophy. It is also the most prominent school as to the novelty of its ideas. That was owing to the common propensity for innovation typical of Periclus’ Golden Age, which in its turn resulted from the establishment of the individualistic and rationalistic thinking similar to present-day mentality. Among other aspects, close attention was paid to ethnic issues; some humanistic ideas such as Master and Servant ethics and Enlightment as the primary condition of man’s freedom, received scientific grounding. The genre of philosophical dialogue was developed, as well as the rationalistic scientific gnoceology, aimed at consistently opposing any religion. Dialectics, the most outstanding achievement of the Antiquity, was also worked out by the sophists. Zeno of Helleas was one of the sophists. Democrites’ ideas were, too, quite close to dialectics. Socrates’ contemporaries regarded him ironically, as shown, for example, in the Aristophanes’ comedy “Clouds”. Nevertheless, this scholar can still be referred to as a sophist, although of somewhat weird personality. Socrates’ popularity, which came later, should be attributed to the fact that he was the first philosopher ever to have been sentenced and executed by law, rather than to any valuable scientific contributions. Sophistry as such, rather than Socrates, marks the line between pre-Socratic and post- Socratic schools. Plato, with the exception of his latest works, is considered to belong to the same philosophical school. Specifically, there are valid reasons to believe that he was paid fees by his disciples. In Plato’s Dialogues, all points of view will be proven and then disproved, so that an integral philosophical system is hard to observe. Plato’s “Idealism” is but one of the many possible theories. His ideal philosophy is a high-minded argument of wise men. As late as towards the end of his life, Plato betrayed the ideals of sophistry, turning into the world’s first proponent of totalitarianism. Sophistry is Greek classical literature. Later on, philosophy, as well as the entire Greek civilization, started to fall into decline. Over 500 subsequent years, Hellenistic-Roman scholars never came up with anything novel. The entire process of antique philosophical evolution can be subdivided into the following six stages: Phoenician (IX–VIIth centuries B. C.), archaic (VIth – the first half of IVth century B. C., classic (the epoch of sophistry: the second half of the Vth through the first decades of the IIIrd centuries B. C.), late antique (middle of the IIIrd – first decades of the VI th centuries B.C.) The fact that early in the VIth century B. C. sophistry was rejected in Athens, has a lot to do with the consequences of their defeat in Peloponnesian war, a social catastrophe. Ever since, the prevalent part of the criticism of sophistry is a criticism of sophists’ immoral ways of life and personalities, rather than the essentials of their philosophy. For instance, Aristotle’s criticism primarily concerns their pragmatism and tendency to make a profit out of teaching. However, Aristotle himself taught his disciples along similar lines, showing them how to “be able to prove both opposites”. It was Aristotle who summed up sophists’ century-long elaborations. The traditional modern interpretation of sophists as shown in Plato’s dialogues appears to be groundless. The truth of the matter is that Plato regards sophists as more serious philosophers than Socrates was. It becomes especially clear in the dialogue titled “Protagoras”, which shows the latter as gaining an undoubted victory over Socrates. Generally speaking, Plato’s works never regard sophists as weak or worthless opponents. A common opinion as to the essence of sophists’, in particular, Protagoras’s philosophy, has hitherto not been worked out. Many researchers renounce the very existence of any specific philosophical position in sophistry. The term “relativism” itself now has a bad name. However, it should be borne in mind that Protagoras doctrine emerged as a result of an attempt to get out of the ontological dead-end to which the entire Greek natural philosophy had come. To this purpose, he employed Anaxagoras’s idea about everything comprising everything, whereupon he built his physical-ontological theory, and Zeno of Helleas’s concept that all objects are such and different at the same time in the same respect. According to Protagoras’s philosophy, every object does not only seem, but is different from every other object, including human beings. Therefore, every person is his or her own measure of all other entities. The objective reality is the Ego’s relations with the outer world. Every object’s essence is defined through its interaction with ourselves. Nothing remains stagnant – every existence already contains non-existence, and vice-versa. However, the relativity of being is not to be regarded as absolute. That means, that relatively stable and therefore relatively cognizable entities do exist, among them the words we say. Doubt is not considered absolute by relativists either, which differentiates them from skeptics and agnostics. They dare to believe. Uncertainty is Godly – here, Protagoras becomes very close to the concept of apathetic theology. Gorgius shared Protagoras’s views and tried to prove them applying the same method as Zeno applied when upholding Parmenidis’s philosophy. He argued that if one accepts the opposite point of view and agrees that nothing can exist and not exist at the same time, one is bound to come to an the absurd conclusion that nothing is cognizable and nothing exists. To prove that there is a universal contradiction within the Existence itself, Protagoras and his followers in their turn put forward a number of special logical arguments, called rules of contraries, or sophisms. The most well-known of them is the Euathle’s sophism, which proves that an object can be such and different at the same time in the same respect. Generally speaking, all relationships of any entity are extraneous. The idea that all entities, including concepts, exist and do not exist at the same time, was also accepted by Plato. It should be stressed, that Plato’s philosophy as a whole is relativists’ greatest achievement. In his dispute against relativism, Aristotle put forward the main concepts of his ontology: the existence falls into the existence in possibility and the existence in reality, or substance and accidence – the ever changing “sublunary” world and the stable world of divine heavenly bodies. This division made his system self-contradictory to the point of absurd. Aristotle quite realized, that the direct disproof of relativism is hardly possible, which fact makes his criticism a mere tautology. It is very indicative in this respect that materialists, idealists and even skeptical agnostics applied the same arguments do disprove relativism. That demonstrates that the inner contradiction between any forms of “absolutism” and relativism is the most fundamental philosophical problem. Relativist ideas were repeatedly renewed throughout history, provided the social conditions were favourable. In variations, the concepts were advanced by Tzuan Tsi and ancient Chinese sophists, apostle Paul, Nicolas of Cusa, Galileo, Rene Descartes, G. Berkley, D. Hume, Ch. S. Pierce, E. Mach, A. Bogdanov, F. de Saussure, N. Bore, P. Feuerabend, U. Quain and others. However, no consistent relativist ontological system was developed after Protagoras. Meanwhile, a valid relativist theory could provide a clue to a fuller and more adequate general physical concept of the world, and to a deeper understanding of quantum mechanics. -/- Relativism as an ontological system of beliefs. -/- The relativist principle of relativity of all that exists is fundamental for the entire system of philosophy. Absolutely everything exists, but, at the same time, no existence is absolute. Anything is possible, but those entities only exist for us with which we interact this way or another, i. e., reality is interaction, “I interact – hence, I exist”. However, an overly close relationship between entities leads to non-existence – in other words, there is a certain existential optimum. For all of us, information, or perceptible heterogeneities, is real. Each of us is the center of a definite system of interactions with the world. If God is an endless Possibility, then the World is but the man’s dialogue with God. However, the ties that bind us with the world are of some definite kind, which predetermines our reality. The principle of relativity constrains itself, as any relativity is relative. On the one hand, that calls forth the Evil – caused by our own weakness. On the other hand, it makes our world relatively stable and cognizable. Generally speaking, the world is what we are. Everybody has an own Universe, but since people are fairly similar, our universes can be regarded as one Universe with common laws and regulations. It is possible for us to change the degree of objects’ existence in relation to ourselves and one another. It is equally important, though, to remain ourselves (keep following our “warrior’s path”). Since everything exists and no existence is absolute, the process of cognition should involve a criticism of everything but never a complete rebuttal of anything. The criterion of verity for any theory then is in its capacity to build itself upon a bigger number of diverse statements than in any other theory. Theoretically, all philosophies should ideally be complementary. The question of what in fact happened is meaningless unless we specify the “we”, the “where” and the “when”. The past can only exist as part of the present. When we change, our past undergoes corresponding qualitative objective changes, all of which are irreversible. The contemporary physics regards all objects of the Universe as existing for one another, which results in absurd conclusions. In fact, only what we interact with, exists. The so called “speed of light in vacuum” c is the maximum speed of direct interaction and direct exchange of signals. Specifically, at the oncoming speed c with a significant blue parallax the gamma-quantum is unable to interact with the matter. When this speed is reached, the gravitational mass of objects in relation to one another becomes equal to zero (imaginary), whereas their inertial mass equals infinity. Further acceleration will bring us into an entirely different Universe. That means that the Universe is an open system, which fact destroys all present-day cosmological models. Anything is possible in this world. Our reality is magic. Every bit of space contains a potentially limitless number of bits of other, however virtual, universes, as well as an infinite number of particles, which are still virtual for us (as postulated by quantum mechanics). In other words, there exists an infinity of different realities. With all the above in mind, the different levels of entities’ existence, in particular, of Life and Reason, should be taken into consideration. For example, to which extent a live system exists in relation to the inanimate forms of being is very indefinite, as what life is has to be determined by living creatures. An even greater compass of levels of existence can be brought about through interaction – that is the core idea of Godel’s theorem. As a result, the range of forms of existence tends towards infinity – the evolution of matter through super-intelligence will bring us up to God’s heights. A more generalized mathematical model of the physical world, including a universal operator of the co-existence of objects, can be developed based on the above considerations. The bonds between objects become weaker owing to 1) a high speed, 2) acceleration, 3) rotation, 4) strong gravity, 5) strong fields of other kinds, 6) the difference of levels of existence , 7) phase shifts. Yet, there always is an existential optimum. Such mathematical model is to operate certain non-transitive algebras. Relativist ontology assumes that the notion of “temperature” is relative, thus making it possible to ignore the Second Law of Thermodynamics. In its turn, that will allow for phase shifts. A perpetual motion machine of the second type will become a reality. Rotation could presumably be used to increase inertial and decrease gravitational mass, slowing down the time. An experimental research could shed light on the mentioned effects. (shrink)

A $\Pi^0_1$ class can be defined as the set of infinite paths through a computable tree. For classes $P$ and $Q$, say that $P$ is Medvedev reducible to $Q$, $P \leq_M Q$, if there is a computably continuous functional mapping $Q$ into $P$. Let $\mathcal{L}_M$ be the lattice of degrees formed by $\Pi^0_1$ subclasses of $2^\omega$ under the Medvedev reducibility. In "Non-branching degrees in the Medvedev lattice of $\Pi \sp{0}\sb{1} classes," I provided a characterization of nonbranching/branching and (...) a classification of the nonbranching degrees. In this paper, I present a similar classification of the branching degrees. In particular, $P$ is separable if there is a clopen set $C$ such that $P \cap C \neq \emptyset \neq P \cap C^c$ and $P \cap C \perp_M P \cap C^c$. By the results in the first paper, separability is an invariant of a Medvedev degree and a degree is branching if and only if it contains a separable member. Further define $P$ to be hyperseparable if, for all such $C$, $P \cap C \perp_M P \cap C^c$ and totally separable if, for all $X,Y \in P$, $X \perp_T Y$. I will show that totally separable implies hyperseparable implies separable and that the reverse implications do not hold, that is, that these are three distinct types of branching degrees. Along the way I will show some related results and present a combinatorial framework for constructing $\Pi^0_1$ classes with priority arguments. (shrink)

Pavel Cmorej has argued that the existence of unverifiable and unfalsifiable empirical propositions follows from certain plausible assumptions concerning the notions of possibility and verification. Cmorej proves, it the context of a bi-modal alethic-epistemic axiom system AM4, that (1) p and it is not verified that p is unverifiable; (2) p or it is falsified that p is unfalsifiable; (3) every unverifiable p is logically equivalent to p and it is not verifiable that p; (4) every unverifiable p entails that (...) p is unverifiable. This article elaborates on Cmorej’s results in three ways. Firstly, we formulate a version of neighbourhood semantics for AM4 and prove completeness. This allows us to replace Cmorej’s axiomatic derivations with simple model-theoretic arguments. Secondly, we link Cmorej’s results to two well-known paradoxes, namely Moore’s Paradox and the Knowability Paradox. Thirdly, we generalise Cmorej’s results, show them to be independent of each other and argue that results (3) and (4) are independent of any assumptions concerning the notion of verification. (shrink)

The article deals with the development of sacred art in Galicia at the turn of the 19th and 20th centuries. Masters of Ukrainian icon painting K. Ustinovich, Y. Pankevich, M. Sosenko, P. Kholodny and others. continued the creative process through which the Ukrainian icon for a long historical period of development did not lose its viable direction, did not degenerate into the picture. They have not crossed that limit, when the departure from the fundamental theological foundations of iconoclasm threatens to (...) transform it into a painting of dry religious content. (shrink)

A $\Pi _{1}^{0}$ class is the set of paths through a computable tree. Given classes P and Q, P is Medvedev reducible to Q, P ≤M Q, if there is a computably continuous functional mapping Q into P. We look at the lattice formed by $\Pi _{1}^{0}$ subclasses of 2ω under this reduction. It is known that the degree of a splitting class of c.e. sets is non-branching. We further characterize non-branching degrees, providing two additional properties which guarantee non-branching: (...) inseparable and hyperinseparable. Our main result is to show that non-branching iff inseparable if hyperinseparable if homogeneous and that all unstated implications do not hold. We also show that inseparable and not hyperinseparable degrees are downward dense. (shrink)

Este volumen colectivo, editado por Nuria Sánchez Madrid, Paula Satne y Larry Krasnoff, constituye un aporte sustancial al estudio de la filosofía kantiana del derecho. Dadas las limitaciones de espacio, podré detenerme brevemente únicamente en algunas de las contribuciones que enriquecen el volumen, si bien todas son muy valiosas y originales.

Let G be a group, and let X be an infinite transitive G-space. A free ultrafilter U on X is called G-selective if, for any G-invariant partition P of X, either one cell of P is a member of U, or there is a member of U which meets each cell of P in at most one point. We show that in ZFC with no additional set-theoretical assumptions there exists a G-selective ultrafilter on X. We describe all G-spaces X such (...) that each free ultrafilter on X is G-selective, and we prove that a free ultrafilter U on ω is selective if and only if U is G-selective with respect to the action of any countable group G of permutations of ω. A free ultrafilter U on X is called G-Ramsey if, for any G-invariant coloring χ:[X]2→{0,1}, there is U∈U such that [U]2 is χ-monochromatic. We show that each G-Ramsey ultrafilter on X is G-selective. Additional theorems give a lot of examples of ultrafilters on Z that are Z-selective but not Z-Ramsey. (shrink)

The considerable prominence of internet addiction (IA) in adolescence is at least partly explained by the limited knowledge thus far available on this complex phenomenon. In discussing IA, it is necessary to be aware that this is a construct for which there is still no clear definition in the literature. Nonetheless, its important clinical implications, as emerging in recent years, justify the lively interest of researchers in this new form of behavioral addiction. Over the years, studies have associated IA with (...) numerous clinical problems. However, fewer studies have investigated what factors might mediate the relationship between IA and the different problems associated with it. Ours is one such study. The Italian version of the SCL-90 and the IAT were administered to a sample of almost 800 adolescents aged between 16 and 22 years. We found the presence of a significant association between IA and two variables: somatization (β = 7.80; p < 0.001) and obsessive-compulsive symptoms (β = 2.18; p < 0.05). In line with our hypothesis, the results showed that somatization predicted the relationship between obsessive-compulsive symptoms and IA (β = −2.75; t = −3.55; p < 0.001), explaining 24.5% of its variance (ΔR2 = 1.2%; F = 12.78; p < 0.01). In addition, simple slopes analyses revealed that, on reaching clinical significance (+1 SD), somatization showed higher moderation effects in the relationship between obsessive-compulsive symptoms and IA (β = 6.13; t = 7.83; p < 0.001). These results appear to be of great interest due to the absence of similar evidence in the literature, and may open the way for further research in the IA field. Although the absence of studies in the literature does not allow us to offer an exhaustive explanation of these results, our study supports current addiction theories which emphasize the important function performed by the enteroceptive system, alongside the more cited reflexive and impulsive systems. (shrink)

According to the Principle of Conditional Non-Contradiction (CNC), conditionals of the form “If p, q” and “If p, not q” cannot both be true, unless p is inconsistent. This principle is widely regarded as an adequacy constraint on any semantics that attributes truth conditions to conditionals. Gibbard has presented an example of a pair of conditionals that, in the context he describes, appear to violate CNC. He concluded from this that conditionals lack truth conditions. We argue that this conclusion is (...) rash by proposing a new diagnosis of what is going on in Gibbard’s argument. We also provide empirical evidence in support of our proposal. (shrink)

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM 1. Some other definitions of negation inI() lead to logicsLM n (n ). We study inclusions between these and other systems, proveLM n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n ). We also show that formulas (...) in one variable do not separateLM from Heyting's logicH, andLM n (n ) from Scott's logic (H+S). (shrink)

Book Information Ethics and Sex. By Igor Primoratz. Routledge. London/New York. 1999. Pp. xi + 205. Paperback, 14.99.

There is no question, of course, that music is a temporal art. Stravinsky, noting that it is inconceivable apart from the elements of sound and time, classifies it quite simply as "a certain organization in time, a chrononomy."1 His definition stands as part of a long and honored tradition that encompasses such diverse figures as Racine, Lessing, and Schopenhauer. Schopenhauer, putting the case in its strongest terms, remarks that music is "perceived solely in and through time, to the complete exclusion (...) of space," thus making explicit the opposition between time and space and ruling out the latter as a possible area for legitimate musical experience. Yet anyone familiar with the philosophical and theoretical literature dealing with music must be struck by the persistence with which spatial terminology and categories appear. Indeed, it would seem to be impossible to talk about music at all without invoking spatial notions of one kind or another. Thus in discussing even the most elementary aspects of pitch organization—and among the musical elements, only pitch, we should remember, is uniquely musical—one finds it necessary to rely upon such spatially oriented oppositions as "up and down," "high and low," "small and large" , and so on. Space, then, pace Schopenhauer, apparently forms an inseparable part of the musical experience. · 1. Igor Stravinsky, Poetics of Music in the Form of Six Lessons, trans, Arthur Knodel and Ingolf Dahl , p. 28. Robert P. Morgan is active as both a music composer and theorist. A professor of music at the University of Chicago, he is currently composing a concerto for flute, oboe, and string orchestra to be performed at Swarthmore College. His previous contribution to Critical Inquiry, "On the Analysis of Recent Music," appeared in the Autumn 1977 issue. Anthony Gilbert responds to the current essay in "Musical Space: A Composer's View". (shrink)

Refutation systems are formal systems for inferring the falsity of formulae. These systems can, in particular, be used to syntactically characterise logics. In this paper, we explore the close connection between refutation systems and admissible rules. We develop technical machinery to construct refutation systems, employing techniques from the study of admissible rules. Concretely, we provide a refutation system for the intermediate logics of bounded branching, known as the Gabbay–de Jongh logics. We show that this gives a characterisation of these logics (...) in terms of their admissible rules. To illustrate the technique, we also provide a refutation system for Medvedev’s logic. (shrink)

Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic (IPC). However, her factor is unnatural in the sense that it is constructed in an ad hoc manner. We present a more natural example of such a factor. We also show that the theory of every non-trivial factor of the Medvedev lattice is contained in Jankov’s logic, the deductive closure of IPC plus the weak law of the excluded middle $${\neg p \vee (...) \neg \neg p}$$. This answers a question by Sorbi and Terwijn. (shrink)

We show that there is a computable procedure which, given an ∀∃-sentence ${\varphi}$ in the language of the partially ordered sets with a top element 1 and a bottom element 0, computes whether ${\varphi}$ is true in the Medvedev degrees of ${\Pi^0_1}$ classes in Cantor space, sometimes denoted by ${\mathcal{P}_s}$.

This is a contribution to the study of the Muchnik and Medvedev lattices of non-empty Π01 subsets of 2ω. In both these lattices, any non-minimum element can be split, i. e. it is the non-trivial join of two other elements. In fact, in the Medvedev case, ifP > MQ, then P can be split above Q. Both of these facts are then generalised to the embedding of arbitrary finite distributive lattices. A consequence of this is that both lattices (...) have decidible ∃-theories. (shrink)

In his ‘Review of Belief’s Own Ethics,’ Ars Disputandi 3 , Igor Douven argued that ‘P, but I lack sufficient evidence for p’ is heard as odd not for conceptual reasons, but for pragmatic reasons. We hear this sentence as odd, because we are not regularly exposed to it. In this reply, the author argues that the assertion ‘P, but I lack sufficient evidence for p’ sounds contradictory, because the two parts of the assertion refuse combination on conceptual grounds. (...) We are not regularly exposed to such assertions, because people normally find that a speaker can only be taken to assert p, if she beliefs that p. And people normally find that if one believes that p, then this is because, by one’s own lights, one has sufficient evidence for p. One may not be fully aware of this evidence. But it would certainly be contradictory to believe sincerely that p, while also believing that one lacks sufficient evidence for p. (shrink)

Let ${\mathcal{P}_s}$ be the lattice of degrees of non-empty ${\Pi_1^0}$ subsets of 2 ω under Medvedev reducibility. Binns and Simpson proved that FD(ω), the free distributive lattice on countably many generators, is lattice-embeddable below any non-zero element in ${\mathcal{P}_s}$ . Cenzer and Hinman proved that ${\mathcal{P}_s}$ is dense, by adapting the Sacks Preservation and Sacks Coding Strategies used in the proof of the density of the c.e. Turing degrees. With a construction that is a modification of the one by (...) Cenzer and Hinman, we improve on the result of Binns and Simpson by showing that for any ${\mathcal{U} < _s \mathcal{V}}$ , we can lattice embed FD(ω) into ${\mathcal{P}_s}$ strictly between ${deg_s(\mathcal{U})}$ and ${deg_s({\mathcal V})}$ . We also note that, in contrast to the infinite injury in the proof of the Sacks Density Theorem, in our proof all injury is finite, and that this is also true for the proof of Cenzer and Hinman, if a straightforward simplification is made. (shrink)

Let \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_s}$$\end{document} be the lattice of degrees of non-empty \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi_1^0}$$\end{document} subsets of 2ω under Medvedev reducibility. Binns and Simpson proved that FD(ω), the free distributive lattice on countably many generators, is lattice-embeddable below any non-zero element in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_s}$$\end{document}. Cenzer and Hinman proved that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_s}$$\end{document} (...) is dense, by adapting the Sacks Preservation and Sacks Coding Strategies used in the proof of the density of the c.e. Turing degrees. With a construction that is a modification of the one by Cenzer and Hinman, we improve on the result of Binns and Simpson by showing that for any \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{U} < _s \mathcal{V}}$$\end{document}, we can lattice embed FD(ω) into \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_s}$$\end{document} strictly between \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${deg_s(\mathcal{U})}$$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${deg_s({\mathcal V})}$$\end{document}. We also note that, in contrast to the infinite injury in the proof of the Sacks Density Theorem, in our proof all injury is finite, and that this is also true for the proof of Cenzer and Hinman, if a straightforward simplification is made. (shrink)

The book under review is a translation of a monograph written in Czech entitled Nikolaj Losskij: Obhájce mystické intuice, published in 2011. As a theologian, the author is above all interested in the spiritual and theological aspects of Lossky’s thought. The first two chapters are concerned with Lossky’s life and work before and during his years in Czechoslovakia. The third chapter is devoted to the analysis and interpretation of Lossky’s booklet Mystical Intuition published in English in 1938, wherein Lossky presents (...) his theory of mystical intuition, as opposed to his theories of sensory and intellectual intuition. The last chapter is about Lossky’s conception of the self and of society, his interpretation of Dostoevsky, his theory of reincarnation, and his relationship with Ctibor Bezděk, who applied Lossky’s philosophy to medical practice. Since the book was written by a Czech author who has insider-knowledge of the literature written in Czecho-Slovak, most interesting for the reader unacquainted with this family of languages is the discussion of Lossky’s relationships—personal and intellectual—with Czech and Slovak philosophers such as Tomáš Masaryk, Ferdinand Pelikán, Vladimír Hoppe, Ctibor Bezděk, and Igor Hrušovský, as well as the discussion of Lossky’s publications in Czech. Given that the latter aspects are what is truly unique to this book and novel in the Anglophone literature on Lossky, this is what I focus on in this review. (shrink)

Roy Medvedev's new book reflects an important change among ruling circles in the Soviet Union, a willingness fundamentally to transform and improve Moscow-Beijing relations by making concessions to China away from the hard-line stance long backed by Soviet conservatives. Anti-Stalinist historian Medvedev details the assumptions underlying this major redirection of Soviet policy. Even the errors and omissions in Medvedev's important book are illuminating. In contrast to Andrei Sakharov, however, Medvedev's nationalism blinds him from seeing some key (...) China-Soviet Union realities. While Medvedev acknowledges that Brezhnev in 1970 sought United States support for a Soviet attack on China, nonetheless, “the chief part in creating the danger of war on the Sino-Soviet border was played by the Chinese leadership” (p. 55). (shrink)

The spiritual geography of Russian cosmism. General characteristics ; Recent definitions of cosmism -- Forerunners of Russian cosmism. Vasily Nazarovich Karazin (1773-1842) ; Alexander Nikolaevich Radishchev (1749-1802) ; Poets: Mikhail Vasilyevich Lomonosov, (1711-1765) and Gavriila Romanovich Derzhavin (1743-1816) ; Prince Vladimir Fedorovich Odoevsky (1803-1869) ; Aleksander Vasilyevich Sukhovo-Kobylin (1817-1903) -- The Russian philosophical context. Philosophy as a passion ; The destiny of Russia ; Thought as a call for action ; The totalitarian cast of mind -- The religious and spiritual (...) context. The kingdom of god on earth ; Hesychasm: two great Russian saints ; The Third Rome ; Pre-Christian antecedents -- The Russian esoteric context. Early searches for "deep wisdom" ; Popular magic ; Higher magic in the time of Peter the Great ; Esotericism after Peter the Great ; Theosophy and anthroposophy -- Nikolai Fedorovich Fedorov (1829-1903), the philosopher of the common task ; The one idea ; The unacknowledged prince ; The village teacher ; First disciple: Dostoevsky and Tolstoy ; The Moscow librarian ; Last years: Askhabad: the only portrait -- The "common task" ; Esoteric dimensions of the "common task" ; Fedorov's legacy: projectivism, delo, regulation -- The religious cosmists. Vladimir Sergeevich Solovyov (1853-1900) ; Sergei Nikolaevich Bulgakov (1871-1944) ; Pavel Aleksandrovich Florensky (1882-1937) ; Nikolai Aleksandrovich Berdyaev (1874-1948) -- The scientific cosmists. Konstantin Edouardovich Tsiolkovsky (1857-1935) ; Vladimir Ivanovich Vernadsky (1863-1945) ; Alexander Leonidovich Chizhevsky (1897-1964) ; Vasily Feofilovich Kuprevich (1897-1969) -- Promethean theurgy. Life-creation ; Cultural immortalism ; God-building ; Re-aiming the arrows of Eros ; Technological utopianism ; Occultism -- Fedorov's twentieth century followers. Nikolai Pavlovich Peterson (1844-1919) and Vladimir Aleksandrovich Kozhevnikov (1852-1917) ; Svyatogor and the biocosmists ; New wine and the universal task ; Alexander Konstantinovich Gorsky (1886-1943) and Nikolai Alexandrovich Setnitsky (1888-1937) ; Valerian Nikolaevich Muravyov (1885-1932) ; Vasily Nikolaevich Chekrygin (1897-1922) -- Cosmism and its offshoots today. The N.F. Fedorov museum-library ; The Tsiolkovsky museum and Chizhevsky center ; ISRICA - Institute for Scientific Research in Cosmic Anthropoecology ; Lev Nikolaevich Gumilev (1912-1992) and neo-eurasianism ; The hyperboreans ; Scientific immortalism: Igor Vishev, Danila Medvedev ; Conclusions about the Russian cosmists. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work is in the "public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be (...) preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This chapter contains sections titled: Knowing How it is that p How‐Knowledge that p and Gradualism Degrees of Knowledge and Degrees of Belief How‐Knowledge that p and Truthmakers Knowledge that p and Gradualism Knowledge‐Gradualism's Central Concept Can there be Minimal Knowledge? Minimal Knowledge as Foundational Knowledge Knowledge‐Gradualism: Closure and Scepticism Knowledge‐Gradualism: Content Externalism and Self‐Knowledge How not to Argue for Knowledge‐Absolutism Linguistic Evidence: Igor Douven Linguistic Evidence: Jason Stanley How‐Knowledge‐how that p Knowing as Understanding?